<?php

	echo json_encode($transitions);